namespace basic {

// sanity check of namespaced protocols

protocol namespace_Basic {

child:
    async Msg();

};

} // namespace basic
